Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
701	Publication Analysis of the Formal Concept Analysis Community Stephan Doerfel, Robert J¨aschke, Gerd Stumme Knowledge & Data Engineering Group, University of Kassel, Wilhelmsh¨ oher Allee 73, 34121 Kassel, Germany Add to Reading List Source URL: www.kbs.uni-hannover.de Language: English - Date: 2015-04-09 16:46:04 Microsoft Academic Search Formal concept analysis Communist League of America Academic publishing Information science Artificial intelligence Information Conceptual graph Diagrams Knowledge representation
702	20150122_HP_Vertica_Distributed_R_Final_Logo_CMYK Add to Reading List Source URL: www.vertica.com Language: English - Date: 2015-03-25 11:48:51 Vertica Formal sciences Data analysis Big data HP Software Division Oracle Data Mining Technology Data management Science
703	Local Pattern Detection and Clustering Are there substantive differences? Frank H¨ oppner University of Applied Sciences Braunschweig/Wolfenb¨ uttel Add to Reading List Source URL: public.fh-wolfenbuettel.de Language: English - Date: 2007-12-03 03:22:38 Data analysis Formal sciences Data mining Pattern recognition OPTICS algorithm K-means clustering Unsupervised learning Mixture model Local outlier factor Statistics Machine learning Cluster analysis
704	Building Cost-Benefit Analysis Capacity in Criminal Justice: Notes from a Roundtable Discussion By Tina Chiu Director’s message When I came to the Vera Institute of Justice, one of my Add to Reading List Source URL: cbkb.org Language: English - Date: 2013-04-26 13:08:26 Public finance Drug court Formal language Mathematics Applied mathematics Ethics Costs Cost–benefit analysis Decision theory
705	Big Data, Big Mess: Sound Cyber Risk Intelligence through “Complete Context” Introduction When it comes to cybersecurity, perhaps nothing has been as highly touted as the answer to Add to Reading List Source URL: digital-forensics.sans.org Language: English - Date: 2015-02-06 11:01:09 Business intelligence Cyberwarfare Formal sciences Intelligence Computer security SurfWatch Analytics Threat Intelligence analysis Computer network security Security National security
706	ANTLR: A Compiler Development Tool Stephen A. Edwards class SimpLexer extends Lexer; options { testLiterals = false; k = 2; } A NTLR comprises the functionality of a lexer generator (e.g., Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2002-02-19 14:25:22 Computing Compiler construction Parser generators Compiling tools Formal languages Lexical analysis LL parser ANTLR Lex Programming language implementation Software Parsing
707	Proceedings of the Second ICSU/UNESCO International Conference on Electronic Publishing in Science held in association with CODATA, IFLA and ICSTI at UNESCO House, Paris 20–23 February 2001 Add to Reading List Source URL: eos.wdcb.ru Language: English - Date: 2002-07-18 09:07:48 Information Data analysis Formal sciences Database theory Data mining Database Scientific literature Geographic information system Open science data Database management systems Science Data management
708	Loring Craymer ANTLR Yggdrasil Manual Loring Craymer Draft Add to Reading List Source URL: www.antlr2.org Language: English - Date: 2014-08-15 14:53:58 Computing Formal languages Parsing Parser generators ANTLR Attribute grammar Yggdrasil Lexical analysis Compiler Programming language implementation Compiler construction Software
709	Analytics 360: Multi-Industry Insights in Data and Intelligence April 8, 2015 REGISTRATION 8:00-9:00am KEYNOTE SPEAKER Add to Reading List Source URL: www.brandeis.edu Language: English - Date: 2015-02-24 11:32:46 Business Business intelligence Data analysis Natural language processing Statistical natural language processing Analytics Learning analytics Data mining Text mining Science Data management Formal sciences
710	System to Software Integrity: A Case Study1 Matteo Bordin, Cyrille Comar, Ed Falis, Franco Gasperoni, Yannick Moy, Elie Richa, Jérôme Hugues {bordin, comar, falis, gasperoni, moy, richa}@adacore.com, jerome.hugue Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2014-01-23 04:27:02 Simulation software Software architecture Systems architecture Cross-platform software Simulink Architecture Analysis & Design Language SPARK Formal verification Design by contract Software engineering Computing Design

UPDATE